41![1 A Localization Approach for Crowdsourced Air Traffic Communication Networks Martin Strohmeier∗ , Vincent Lenders+ , Ivan Martinovic∗ of Oxford, United Kingdom + armasuisse, Switzerland 1 A Localization Approach for Crowdsourced Air Traffic Communication Networks Martin Strohmeier∗ , Vincent Lenders+ , Ivan Martinovic∗ of Oxford, United Kingdom + armasuisse, Switzerland](https://www.pdfsearch.io/img/dd5bea487a94bcee3805a0ff50fd1298.jpg) | Add to Reading ListSource URL: www.lenders.chLanguage: English - Date: 2016-10-29 04:58:47
|
---|
42![Cognitive Reasoning and Trust in Human-Robot Interactions? Marta Kwiatkowska Department of Computer Science, University of Oxford, Oxford, UK Abstract. We are witnessing accelerating technological advances in autonomous Cognitive Reasoning and Trust in Human-Robot Interactions? Marta Kwiatkowska Department of Computer Science, University of Oxford, Oxford, UK Abstract. We are witnessing accelerating technological advances in autonomous](https://www.pdfsearch.io/img/fb52c2f9585858da2f848a08821ee8c4.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2017-04-04 10:42:31
|
---|
43![More than an Edit: Using Transcendental Information Cascades to Capture Hidden Structure in Wikipedia Ramine Tinati, Markus Luczak-Roesch, Wendy Hall University of Oxford More than an Edit: Using Transcendental Information Cascades to Capture Hidden Structure in Wikipedia Ramine Tinati, Markus Luczak-Roesch, Wendy Hall University of Oxford](https://www.pdfsearch.io/img/108d885ebb4c26613e0f74b690984b00.jpg) | Add to Reading ListSource URL: gdac.uqam.caLanguage: English - Date: 2017-10-04 00:23:20
|
---|
44![Compositional Verification of Probabilistic Systems using Learning Lu Feng, Marta Kwiatkowska, David Parker Oxford University Computing Laboratory, Parks Road, Oxford, OX1 3QD Email: {lu.feng, marta.kwiatkowska, david.pa Compositional Verification of Probabilistic Systems using Learning Lu Feng, Marta Kwiatkowska, David Parker Oxford University Computing Laboratory, Parks Road, Oxford, OX1 3QD Email: {lu.feng, marta.kwiatkowska, david.pa](https://www.pdfsearch.io/img/91a55978232df96da9f59fab6bc3cb8a.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2010-08-20 07:50:57
|
---|
45![Automated Verification of Concurrent Stochastic Games Marta Kwiatkowska1 , Gethin Norman2 , David Parker3 , and Gabriel Santos1 1 Department of Computing Science, University of Oxford, UK Automated Verification of Concurrent Stochastic Games Marta Kwiatkowska1 , Gethin Norman2 , David Parker3 , and Gabriel Santos1 1 Department of Computing Science, University of Oxford, UK](https://www.pdfsearch.io/img/59defa8fbc23388317b1ce2192c8cafe.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2018-06-25 05:08:25
|
---|
46![Precise Predictive Analysis for Discovering Communication Deadlocks in MPI Programs Vojtˇech Forejt, Daniel Kroening, Ganesh Narayanaswamy, and Subodh Sharma Department of Computer Science, University of Oxford, UK Abs Precise Predictive Analysis for Discovering Communication Deadlocks in MPI Programs Vojtˇech Forejt, Daniel Kroening, Ganesh Narayanaswamy, and Subodh Sharma Department of Computer Science, University of Oxford, UK Abs](https://www.pdfsearch.io/img/b41c7395c0777afa2933b9801f3c60c0.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2014-02-26 06:04:38
|
---|
47![On Quantitative Software Verification Marta Kwiatkowska Oxford University Computing Laboratory, Parks Road, Oxford, OX1 3QD Abstract: Software verification has made great progress in recent years, resulting in several to On Quantitative Software Verification Marta Kwiatkowska Oxford University Computing Laboratory, Parks Road, Oxford, OX1 3QD Abstract: Software verification has made great progress in recent years, resulting in several to](https://www.pdfsearch.io/img/9f41d97d5ce65272404112d79da3b1ad.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2009-07-29 05:44:10
|
---|
48![Synthesis for Multi-Objective Stochastic Games: An Application to Autonomous Urban Driving Taolue Chen, Marta Kwiatkowska, Aistis Simaitis, and Clemens Wiltsche Department of Computer Science, University of Oxford, Unite Synthesis for Multi-Objective Stochastic Games: An Application to Autonomous Urban Driving Taolue Chen, Marta Kwiatkowska, Aistis Simaitis, and Clemens Wiltsche Department of Computer Science, University of Oxford, Unite](https://www.pdfsearch.io/img/c20b1f636c1de8d110df7fc41180b57a.jpg) | Add to Reading ListSource URL: www.prismmodelchecker.orgLanguage: English - Date: 2013-06-03 18:23:17
|
---|
49![Analysis of a Gossip Protocol in PRISM Marta Kwiatkowska, Gethin Norman and David Parker Oxford University Computing Laboratory, Wolfson Building, Parks Road, Oxford, OX1 3QD ABSTRACT Gossip protocols have been proposed Analysis of a Gossip Protocol in PRISM Marta Kwiatkowska, Gethin Norman and David Parker Oxford University Computing Laboratory, Wolfson Building, Parks Road, Oxford, OX1 3QD ABSTRACT Gossip protocols have been proposed](https://www.pdfsearch.io/img/073d72645743e6c21739b8fd1be25671.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2008-10-20 08:29:16
|
---|
50![Calibrating the Classifier: Siamese Neural Network Architecture for End-to-End Arousal Recognition from ECG Andrea Patan`e and Marta Kwiatkowska Department of Computer Science, University of Oxford Calibrating the Classifier: Siamese Neural Network Architecture for End-to-End Arousal Recognition from ECG Andrea Patan`e and Marta Kwiatkowska Department of Computer Science, University of Oxford](https://www.pdfsearch.io/img/aa1fff0eaf0c4af9296b8b6f106d5e2f.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2018-07-24 04:40:17
|
---|